Non deterministic automata to deterministic automata conversion